Modal algebra - PDFSEARCH.IO - Document Search Engine

Modal algebra
Results: 105

#	Item
61	Logically Possible Worlds and Counterpart Semantics for Modal Logic MARCUS KRACHT AND OLIVER KUTZ Abstract. The paper reviews the technical results from modal logic as well as their philosophical significance. It focuse Add to Reading List Source URL: www.linguistics.ucla.edu Language: English - Date: 2005-05-11 15:44:48 Kripke semantics Saul Kripke General frame Admissible rule Modal algebra Normal modal logic Accessibility relation Possible world Modal realism Logic Mathematical logic Modal logic
62	Fundamenta Informaticae ?? ([removed]–15 IOS Press A Correspondence Framework between Three-Valued Logics and Similarity-Based Approximate Reasoning Patrick Doherty∗ Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 09:26:04 Model theory Non-classical logic Propositional calculus Philosophical logic Boolean algebra Interpretation Modal logic First-order logic Function Logic Mathematical logic Mathematics
63	Major: Mathematics Exit Exam: Add to Reading List Source URL: www.bhsu.edu Language: English - Date: 2014-04-04 19:18:59 Modal logic Polynomials Propositional calculus Mathematics education Factorization of polynomials over a finite field and irreducibility tests Logic Linear algebra Area
64	Major: Mathematics Exit Exam: Add to Reading List Source URL: www.bhsu.edu Language: English - Date: 2012-03-28 14:54:38 Area Algebra Combinatorics Propositional calculus Logic Linear algebra Modal logic
65	Time and Information in Sequential and Concurrent Computation Vaughan Pratt∗ Stanford University January 9, 2005 Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:06:29 Mathematics Semigroup theory Concurrency Modal logic Non-classical logic Philosophical logic Monoid Parallel computing Chu space Abstract algebra Category theory Logic
66	Linear Logic for Generalized Quantum Mechanics Vaughan Pratt∗ Dept. of Computer Science Stanford University, CA[removed]removed] Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2003-10-12 15:40:30 Non-classical logic Linear logic Quantum logic Intuitionistic logic Modal logic Propositional calculus Boolean algebra Function Interpretation Logic Mathematical logic Mathematics
67	Concurrent Kripke Structures Vineet Gupta∗ Dept. of Computer Science Stanford University, CA[removed]removed] January 9, 2005 Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:06:23 Algebraic structures Order theory Boolean algebra Non-classical logic Model theory Semiring Distributivity Modal logic Structure Mathematics Abstract algebra Mathematical logic
68	Proceedings of the Third Conference of Mathematical Society of Moldova IMCS-50, August 19-23, 2014, Chisinau, Republic of Moldova On absence of finite approximation relative to model completeness in the propositional pro Add to Reading List Source URL: idsi.md Language: English - Date: 2014-10-08 08:39:39 Non-classical logic Modal logic Philosophical logic Proof theory Provability logic Intuitionistic logic Interpretation Boolean function Boolean algebra Logic Mathematical logic Model theory
69	Discovery and Fusion of Salient Multi-modal Features towards News Story Segmentation - @TRECVID 2003 Workshop Winston Hsu1, Shih-Fu Chang1, Lyndon Kennedy1, Chih-wei Huang1, Ching-Yung Lin2, and Giridharan Iyengar3 1 Add to Reading List Source URL: www-nlpir.nist.gov Language: English - Date: 2003-12-10 09:26:33
70	August 02, 2014 Dear Math Concentrators, Welcome back! In your Communication Packet via online registration you will find several pamphlets prepared by the Department. If you haven’t read them before, we urge you to do Add to Reading List Source URL: www.math.harvard.edu Language: English - Date: 2014-08-09 17:16:21 Harvard University Math 55 Linear algebra Modal logic Complex number Mathematics education in New York Anatolii Alexeevitch Karatsuba Mathematics Mathematics education Logic

UPDATE